Regular language - PDFSEARCH.IO - Document Search Engine

Regular language
Results: 1038

#	Item
201	GRAPH LOGICS WITH RATIONAL RELATIONS ´ DIEGO FIGUEIRA, AND LEONID LIBKIN PABLO BARCELO, Department of Computer Science, University of Chile e-mail address: Laboratory for Foundations of Computer S Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:11:01 Theoretical computer science Model theory Universal algebra Combinatorics on words Automata theory Structure Regular language String Substructure Formal languages Mathematics Metalogic
202	4.Syntax This section presents an informal syntax for Joule. For a formal syntax, see Appendix B. Syntactic abstraction, the set of techniques for extending the Joule syntax, is discussed but not specified in this docum Add to Reading List Source URL: erights.org Language: English - Date: 2004-12-04 19:43:55 Procedural programming languages Cross-platform software Lisp Lisp programming language Scheme Regular expression C ALGOL 68 SQL Software engineering Computing Programming language theory
203	Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:41 Formal languages Computing Automata theory Models of computation Parsing Lexical analysis Context-free grammar Parse tree Regular expression Programming language implementation Software engineering Compiler construction
204	Multi-core Parallelization of Abstracted Abstract Machines ∗ Leif Andersen Matthew Might University of Utah Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:09 Formal languages Models of computation Computability theory Formal methods Lambda calculus Actor model Algorithm Regular language Semantics Theoretical computer science Mathematics Applied mathematics
205	TEX and TUG NEWS TEX and TUG NEWS is a newsletter for TEX and LATEX users alike: a forum for exchanging information, tips and suggestions; a regular means of communicating news items to one another ; a place where inform Add to Reading List Source URL: ftp.rrze.uni-erlangen.de Language: English - Date: 2011-01-07 09:23:18 Publishing Computing ConTeXt TUG Device independent file format Donald Knuth Text Executive Programming Language New Typesetting System TeX Typography Typesetting
206	ANT A TY P E S E TT I N G S Y S T E M “ant is not TEX.” Achim Blumensath December 16, 2007 Add to Reading List Source URL: ftp.rrze.uni-erlangen.de Language: English - Date: 2007-12-16 11:06:11 Software Expr ECL programming language Regular expression Tiny programming language Computing Formal languages Unix
207	Parameterized Regular Expressions and Their Languages Pablo Barcel´oa , Juan Reutterb , Leonid Libkinb a Department of Computer Science, University of Chile b Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:09:44 Combinatorics Regular language Symbol String EXPSPACE Model theory Structure Regular expression FO Formal languages Theoretical computer science Mathematics
208	Automata theory for XML researchers∗ Frank Neven University of Limburg 1 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:40 Mathematics Tree automaton Nondeterministic finite automaton Deterministic finite automaton Symbol Finite-state machine Tree Regular language Formal language Automata theory Theoretical computer science Computer science
209	Noname manuscript No. (will be inserted by the editor) Synchronizing Relations on Words Diego Figueira · Leonid Libkin Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-11-26 07:54:43 Computer science Applied mathematics Regular language Tree automaton Complementation of Büchi automaton Ω-automaton Automata theory Formal languages Theoretical computer science
210	Synchronizing Relations on Words Diego Figueira and Leonid Libkin University of Edinburgh, UK Abstract While the theory of languages of words is very mature, our understanding of relations on words Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-03-01 14:59:36 Mathematics Applied mathematics Regular language Recognizable language Tree automaton Constructible universe Formal languages Automata theory Theoretical computer science

UPDATE